Project-Team:AOSTE

Project-Team Aoste

Members

Overall Objectives

Embedded System Design

Research Program

Models of Computation and Communication (MoCCs)
Logical Time in Model-Driven Embedded System Design
The AAA (Algorithm-Architecture Adequation) methodology and Real-Time Scheduling

Application Domains

System Engineering Environments
Many-Core Embedded Architectures
Transportation and the avionic domain

New Software and Platforms

EVT Kopernic
KPASSA
Lopht
SAS
SynDEx
TimeSquare
Vercors

New Results

CCSL as a Logical Clock Calculus Algebra: expressiveness and analysis techniques
Industrial design flow for Embedded System Engineering
Coordination of heterogeneous Models of Computation as Domain-Specific Languages
SoC multiview (meta)modeling for performance, power, and thermal aspects
MoCs and novel architectures
Solving AAA constraints analytically
Coupling SystemC and FMI for co-simulation of Cyber-Physical Systems
Behavioural Semantics if Open pNets
Behavioural semantics for GCM components
Performance analysis and optimisation of an HPC scientific application
Formal translation validation of multi-processor real-time schedules
Lopht back-end for TTEthernet-based distributed systems
Uniprocessor Real-Time Scheduling
Multiprocessor Real-Time Scheduling
Probabilistic Solutions for Hard Real-Time Systems

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2016 | Presentation of the Project-Team AOSTE | AOSTE Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Dissemination

Popularization

Liliana Cucu-Grosjean has supervised the video production of a popularization video regarding the outcomes of the PROXIMA project. The video has been made available on Inria channels and all PROXIMA partners.

Previous |

Home | Next next